dynamic logic

動態邏輯